+RTS -M50M -A10M -RTS
--no-double-check
